Send the following on WhatsApp
Continue to ChatIt is, therefore, possible to extend a partially specified interpretation to a complete interpretation, without loss of verifiability... This fact offers the possibility of automatic verification of programs, the programmer merely tagging entrances and one edge in each innermost loop. - Robert W. Floyd from https://whatsmyquote.com/quote/it-is-therefore-possible-to-extend-a-partially-specified-interpretation-to-a-complete-interpretation-without